<body>
Defines classes for artificial data (program + traces) generation. 
</body>